type T = (A | B)[]
